#ifndef _TIMER_H
#define _TIMER_H

#include <time.h>


extern void timer_phase (int hz);
extern void timer_delay (int ticks);
extern void timer_install (int hz);

#endif
